| 1. | 11 aubry p , lazard d , maza m m . on the theory of triangular sets . journal of symbolic computation , 1999 , : 105 - 124 . 12 bouziane d , rody a kandri , mahat arouf h . unmixed - dimensional decomposition of a finitely generated perfect differential ideal 这一方法在图像压缩计算机视觉计算机图形学智能cad sat问题求解一阶逻辑推理信息安全编码数控技术机器人等高技术领域与物理力学化学天文学中若干问题的研究中得到成功应用。 |